Nederlands spinolie (de) Frans huile d'ensimage(f) (l') Duits Spinnöl (das) Engels batching oil